$\forall$$r$:Rng. (1 = 0 $\in$ $\mid$$r$$\mid$) $\Rightarrow$ ($\forall$$a$:$\mid$$r$$\mid$. $a$ = 0)